Object-oriented modeling with Adora
نویسندگان
چکیده
In this paper, we present the Adora approach to object-oriented modeling of software (Adora stands for analysis and description of requirements and architecture). The main features of Adora that distinguish it from other approaches like UML are the use of abstract objects (instead of classes) as the basis of the model, a systematic hierarchical decomposition of the modeled system and the integration of all aspects of the system in one coherent model. The paper introduces the concepts of Adora and the rationale behind them, gives an overview of the language, sketches a novel concept for visualizing the model hierarchy with a tool and reports the results of a validation experiment for the Adora language. r 2002 Elsevier Science Ltd. All rights reserved.
منابع مشابه
The ADORA Approach to Object-Oriented Modeling of Software
In this paper, we present the ADORA approach to objectoriented modeling of software (ADORA stands for Analysis and Description of Requirements and Architecture). The main features of ADORA that distinguish it from other approaches like UML are the use of abstract objects (instead of classes) as the basis of the model, a systematic hierarchical decomposition of the modeled system and the integra...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModelsaz: An Object-Oriented Computer-Aided Modeling Environment
Modeling and simulation of processing plants are widely used in industry. Construction of a mathematical model for a plant is a time-consuming and error-prone task. In light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. Many software tools for modeling, simulation and optimization of proces...
متن کاملSeparation of Concerns in Semiformal Models for Software Specification by Combining Decomposition and Aspects
In this paper we investigate mechanisms for the separation of concerns in semiformal models for software specification. We identify the problems in two typical approaches (Structured Analysis and UML) and present the concepts for separation of concerns in ADORA, a specification language being developed in our research group. ADORA uses hierarchical decomposition of objects as a primary decompos...
متن کامل